#ifndef __VIRT_MMU_H_
#define __VIRT_MMU_H_
#include <asm/mmpage_hwdef.h>
#include <sysregs.h>
#include <asm/mmpage_type.h>
#include <pt_regs.h>
#include <asm/base.h>

int do_vm_mem_abort(unsigned long fault_ipa, unsigned int esr, struct pt_regs *regs);
void write_stage2_pg_reg(void);

#endif // 